- first-order expression
- 一阶表达式
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
first-order expression
Look at other dictionaries:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Order of the Rising Sun — 旭日章 1st Class Grand Cordon Order of the Rising Sun Awarded by the Emperor of Japan Type Order Awarded for … Wikipedia
First Council of Constantinople — For the church council of Constantinople in 359, see First Council of Constantinople (360). 9th century Byzantine manuscript illumination of I Constantinople Homilies of Gregory Nazianzus, 879 882 … Wikipedia
First Amendment to the United States Constitution — First Amendment redirects here. For other uses, see First Amendment (disambiguation). United States of America This a … Wikipedia
First Council of Nicaea — Date 325 AD Accepted by Anglicans Assyrian Church of the East Calvinists Eastern Orthodox Lutherans Old Catholics Oriental Orthodox Roman Catholics Previous council None Next coun … Wikipedia
First and Second Samuel — First and Second Books of Kings † Catholic Encyclopedia ► First and Second Books of Kings (Also know as the FIRST AND SECOND BOOKS OF SAMUEL. For the First and Second Books of Kings in the Authorized Version see KINGS, THIRD AND… … Catholic encyclopedia
Order of the Sacred Treasure — 瑞宝章 Grand Cordon of the Order of the Sacred Treasure Awarded by the Emperor of Japan Type … Wikipedia
First principle — First Principles is also the title of a work by Herbert Spencer. In philosophy, a first principle is a basic, foundational proposition or assumption that cannot be deduced from any other proposition or assumption. In mathematics, first principles … Wikipedia
First Council of Constantinople — First Council of Constantinople † Catholic Encyclopedia ► First Council of Constantinople (SECOND GENERAL COUNCIL.) This council was called in May, 381, by Emperor Theodosius, to provide for a Catholic succession in the… … Catholic encyclopedia
Order of operations — In mathematics and computer programming, the order of operations (sometimes called operator precedence) is a rule used to clarify unambiguously which procedures should be performed first in a given mathematical expression. For example, in… … Wikipedia
First Stadtholderless Period — The First Stadtholderless Period or Era (1650 1672) (Dutch Eerste Stadhouderloze Tijdperk ) is the period in the history of the Dutch Republic in which it reached the zenith of its economic, military and political Golden Age. The term has… … Wikipedia
